// change_theme()

window_set_color(window_background)
